Search Results for '2015 15sat'

2015 15sat published presentations and documents on DocSlides.

VOLT: A Lazy Grounding

by genevieve

Framework for . Solving . Very . Large . MaxSAT. ...